矿坑在塌陷吗？