Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models