Counterfactual Explanations as Plans