"Thermotogia" Cavalier-Smith 2020 Dataset NCBI Taxonomy Classification phylum Thermotogota class Thermotogae Name Homonyms Thermotogia "Thermotogia" Cavalier-Smith 2020