Bi-Level Control of Weaving Sections in Mixed Traffic Environments With Connected and Automated Vehicles | Synapse