Introducing Explainability to Diagnosis Method for Gas Circuit Breaker Using Counterfactual Explanations | Synapse