A finite branch-and-bound algorithm for nonconvex quadratic programming via semidefinite relaxations