Gravar-mail: Comparison of Approaches for Heart Failure Case Identification from Electronic Health Record Data