On the Descriptive Complexity of Temporal Constraint Satisfaction Problems