Counterfactual Explanation Bake-Off: A Review and Experimental Evaluation for Time Series Classification | Synapse