An exact algorithm for nonconvex quadratic integer minimization using ellipsoidal relaxations