The mining industry