A Unified Framework for Vehicle Rerouting and Traffic Light Control to Reduce Traffic Congestion | Synapse