Explainable Anomaly Detection: Counterfactual driven What-If Analysis