[math-fun] polyhedra with all faces congruent