Practical exact algorithm for trembling-hand equilibrium refinements in games