A history of copper mining in Cornwall and Devon