Counterfactual explanations with varying parameter control: Effects on mental-model formation and explanation satisfaction | Synapse