The development of the Cornish mining industry, from pebble-picking in streams to the building of a honeycomb of mines below the sea