Mathematical Programming Formulations to Compute Steady States in Two-Player Extensive-Form Games