Rigorous Probabilistic Guarantees for Robust Counterfactual Explanations