How can I model the optimization problem in CVX?