Top five companies by hiring activity in the global mining industry in Q2 2024 (total new job postings)