Provenance-based Explanations for Automated Decisions: Final IAA Project Report