How a tunnel boring machine work