Interval Abstractions for Robust Counterfactual Explanations