The Portavadie dry dock, west Scotland: a case history of the geotechnical aspects of its construction