Development of GIS-based rigorous subsidence prediction system for protecting surface environment