DeDUCE: Generating Counterfactual Explanations Efficiently