Exploiting Symmetries in Stochastic Process Algebras