Research on 3D GIS simulation system of mining surface subsidence | IEEE Conference Publication | IEEE Xplore