“有掘必探、先探后掘”技术措施在深部矿井开采中的应用