An empirical study on how humans appreciate automated counterfactual explanations which embrace imprecise information