Machine learning optimization of an electronic health record audit for heart failure in primary care