Network-Level Coordinated Speed Optimization and Traffic Light Control for Connected and Automated Vehicles