How more efficient EHRs can ease physician burnout