Genomic and metabolic adaptations of Methanobrevibacter smithii to the human gut