Two-sorted Metric Temporal Logics