A branch and cut algorithm for nonconvex quadratically constrained quadratic programming