Characterizing strong equivalence for argumentation frameworks