Research on the three-dimensional modeling of roadway for coalmine based on GIS | IEEE Conference Publication | IEEE Xplore