PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains