introduction to lead mining industry