Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification