Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison