Counterfactual Explanations in Explainable AI: A Tutorial