Prospective validation of a machine learning algorithm for the diagnosis of acute heart failure | Synapse