Complexity of ITL model checking: some well-behaved fragments of the interval logic HS