How Computerized Tutors Are Learning to Teach Humans