A Two-Stage Search Framework for Formation Transition of Vehicle Platoons under Dynamic Traffic