Joint Lane Selection and Coordinated Signal Control for Mixed Traffic Arterials with CAV-Dedicated Lanes | Synapse