Hiring activity by job role related to artificial intelligence in the global mining industry, Q3 2023 (% share of total artificial intelligence jobs)