How we built an auto-scalable Minecraft server for 1000+ players