[GW '95] Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming