GML-based 3D spatial data model for geoscience information in coal mines | IEEE Conference Publication | IEEE Xplore