Cooperative Autonomous Vehicle Speed Optimization near Signalized Intersections