Explaining 3D Computed Tomography Classifiers with Counterfactuals