Formation Control with Lane Preference for Connected and Automated Vehicles in Multi-lane Scenarios.