Interval Temporal Logics over Strongly Discrete Linear Orders: Expressiveness and Complexity