Gravar-mail: OGA: an ontological tool of human phenotypes with genetic associations