Gravar-mail: A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models