PDDL+ Models for Deployable yet Effective Traffic Signal Optimisation.