地铁是怎么挖掘的？是用锄头铲出来的吗？钢铁巨兽盾构机了解一下