Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations