Text this: Bisimulations Meet PCTL Equivalences for Probabilistic Automata