History of Artificial Intelligence in Education