Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations