Axiomatizing Team Equivalence for Finite-State Machines