Blend Acceleration Model for Improving Vehicle Stopping at Red Lights Through the Integration of the Intelligent Driver Model and a Virtual Deceleration Function | Synapse