Text this: Optimal Lane Allocation Strategy in Toll Stations for Mixed Human-Driven and Autonomous Vehicles