AI in Education: Tech Overview & 5 Popular Applications