Analysis of Customer Journeys Using Prototype Detection and Counterfactual Explanations for Sequential Data