A History of EHRs: 10 Things to Know