Slag, slimes and gruffy ground: a brief history of Mendip lead mining