A Survey of Markovian Behavioral Equivalences