Using electronic health records to improve quality and efficiency: the experiences of leading hospitals.