Gravar-mail: Tailoring EHRs for Specific Working Environments Improves Work Well-Being of Physicians