Gravar-mail: Exploring biomedical ontology mappings with graph theory methods