Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations