基于三维GIS的数字矿山综合管理系统的研究和应用