convex feasibility problem