A procedural dungeon generator for Minecraft