Artificial Intelligence Empowering the High-Quality Development of Education: Demands, Visions, and Paths