Construction of tunnels