Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives