SMS: Approximating and computing behavioural distances in probabilistic transition systems