Lane-Level Route Planning for Autonomous Vehicles