Top cities for robotics jobs in the mining industry operations and technologies sector in the three months ending September