Use of electronic health record data mining for heart failure subtyping