Research on the Construction of Smart Mining System Based on BIM+GIS | Synapse