Real-time Dispatching for Autonomous Vehicles in Open-pit Mining Deployments using Deep Reinforcement Learning | IEEE Conference Publication | IEEE Xplore