Scheduling of Autonomous Mining Trucks: Allocation Model Based Tabu Search Algorithm Development | IEEE Conference Publication | IEEE Xplore