A coupled InSAR—Integrated probability model framework for goaf locating under different extraction conditions | Publicación