Solving Large Extensive-Form Games with Strategy Constraints