Interpretable estimation of the risk of heart failure hospitalization from a 30-second electrocardiogram