Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective (Logical Methods in Computer Science, 2017)