人工冻结法施工技术在我国矿井建设中的应用