异形全断面隧道掘进机关键技术及应用