Text this: Sound approximate and asymptotic probabilistic bisimulations for PCTL