Metaverse in Education: Vision, Opportunities, and Challenges