AI in Education: An Interactive Introduction