Probabilistic Bisimulation as a Congruence