Atrial fibrillation development in the heart failure population from nationwide British linked electronic health records