Tractable Interval Temporal Propositional and Description Logics