Manual for the geotechnical design of structures to Eurocode 7 : May 2013 (Institution of Structural Engineers, 2013)