Doctors spend too much time on EHRs? Most patients don't think so