Redesigned Minecraft education for better support, new learning activities, improved search, and scalability