FHIR-based system for EHRs cut search time from 3 minutes to 5 seconds