Bilevel Optimization for the Hazmat Transportation Problem with Lane Reservation | Synapse