AI tools like Khanmigo can help teachers do what they do best