High-Definition Mapping for Autonomous Driving in Surface Mines | IEEE Journals & Magazine | IEEE Xplore