osqp / osqp C 2.2K 423 The Operator Splitting QP Solver optimization quadratic-programming convex-optimization machine-learning