Behavioral equivalence of extensive game structures