On the Compilability and Expressive Power of Propositional Planning Formalisms