The design of coal mine emergency rescue command information system based on web GIS | IEEE Conference Publication | IEEE Xplore