Procedurally generating a dungeon