convex uniform 4-polytope