Grothendieck inequalities, nonlocal games and optimization by Jop Briet