Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics