Matrix-assisted laser desorption ionization time-of-flight mass spectrometry identification of methanogens of clinical interest