Geographic analysis of artificial intelligence-related hiring in the global mining industry, Q3 2023 (total new job postings)