Expressiveness, decidability, and undecidability of interval temporal logic