Comparing methods for identifying patients with heart failure using electronic data sources | Synapse