Text this: Computing Probabilistic Bisimilarity Distances for Probabilistic Automata