Gravar-mail: Formative evaluation of a patient-specific clinical knowledge summarization tool