Optimization-based Coordination of Connected, Automated Vehicles at Intersections