Explaining Black-Box Algorithms Using Probabilistic Contrastive Counterfactuals