Predicting incident heart failure from population-based nationwide electronic health records: protocol for a model development and validation study