Tunnel excavation procedure