Choropleth map showing geographic analysis of robotics-related hiring in the global mining industry, 2020-2022