[2205.00889] Vehicle Routing with Time-Dependent Travel Times: Theory, Practice, and Benchmarks