cone-programming convex-optimization first-order-methods linear-programming numerical-optimization optimization optimization-algorithms quadratic-programming semidefinite-programming solver