Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks