Planning Modulo Theories: Extending the Planning Paradigm