Deficit Function Bus Scheduling with Deadheading Trip Insertions for Fleet Size Reduction · Study