A branch-and-cut algorithm using polar cuts for solving nonconvex quadratic programming problems. (1st February 2018)