GTD 8 1 Solving Static Games with Gambit