How to express this formulation in cvx?