Approximate equivalence and approximate synchronization of metric transition systems