machines used for lead mining