Waterproofing of tunnels: Spray concrete lining