Top five companies by hiring activity in the Chinese mining industry in Q3 2023 (new job postings)