mining in the united kingdom