Which fragments of the interval temporal logic HS are tractable in model checking?