Top five companies by hiring activity in the Asia-Pacific mining industry in Q3 2023 (total new job postings)