Optimizing pre-timed control at isolated intersections