Computational mechanics of the excavation of tunnels