A User Study Evaluating Argumentative Explanations in Diagnostic Decision Support