岩巷掘进效率提高了5至10倍