OSQP: An Operator Splitting Solver for Quadratic Programs