Gravar-mail: Counterfactual explanations for remaining useful life estimation within a Bayesian framework