Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete