Finding Optimal Abstract Strategies in Extensive-Form Games