pddl examples