Characteristics of a water-forming NADH oxidase from Methanobrevibacter smithii, an archaeon in the human gut