Text this: Approximating and computing behavioural distances in probabilistic transition systems