Text this: Compositional bisimulation metric reasoning with Probabilistic Process Calculi