Semi-supervised counterfactual explanations