隧道掘进机是如何在坚硬的岩石中挖掘隧道的？