Productive uses of AI in teaching and learning