Top five companies by hiring activity related to artificial intelligence in the global mining industry in Q3 2023 (total new job postings)