Globally solving nonconvex quadratic programming