How a shield tunneling machine works