Decision Problems for Equational Theories of Relation Algebras