Cooperative Longitudinal Driving and Lane Assignment for Left-Turning CAVs at Signalized Intersections with Contraflow Left-Turn Configuration