Lung ultrasound as a translational approach for non-invasive assessment of heart failure with reduced or preserved ejection fraction in mice