“The mining industry accounts for 8% of all work-related deaths globally.”