Regret-Based Pruning in Extensive-Form Games