A joint control model for connected vehicle platoon and arterial signal coordination | Synapse