Convex regular 4-polytope