regular convex 4-polytope