Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS