On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders