Here's how ed-tech companies are pitching AI to teachers