A three-dimensional world editor for Minecraft