Sprayed concrete lined tunnels [ an introduction - Thomas, Alun (Applied geotechnics, 2009)