constrained zonotope