Rationale and design of the NEO-NORMAL-AF study examination of the usefulness of implantable loop recorder for arrhythmia detection including atrial fibrillation in heart failure with non-reduced ejection fraction cases: a pilot study