Completeness Results for Two-sorted Metric Temporal Logics