Spatial Information Technology-based Supporting System for the Development of Mining Industry and Mining Areas: Research Progress and Several Key Techniques