The MicrO ontology; enabling the acquisition of higher-order knowledge of phenotypes from prokaryotic taxonomic descriptions and the construction of very large character matrices