Knowledge Compilation Using Interval Automata and Applications to Planning