Dynamic Optimization Techniques for the Motion Coordination of Autonomous Vehicles