Comparative genomics and divergence time estimation of the anaerobic fungi in herbivorous mammals