floris-vanhoof-polyhedra