Top cities for machine learning jobs in the mining industry operations and technologies sector in the three months ending March