Real-Time Scheduling of Autonomous Mining Trucks via Flow Allocation-Accelerated Tabu Search | Synapse