Extraction of Semantically Rich High-Definition Maps from Spatial Representations of an Open Pit Mine | IEEE Conference Publication | IEEE Xplore