InSAR提取矿区DEM技术方法研究及应用