Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach