Eliciting the Functional Taxonomy from protein annotations and taxa