How education technology companies are getting AI to teachers