Pre-generating and Trimming Worlds in Minecraft