Approximate equivalence and synchronization of metric transition systems