Gravar-mail: Annotation of SBML models through rule-based semantic integration