全断面隧道掘进机在矿井工程施工中的应用