Characterization and forms of JC3, a newMethanoarcina isolate: Comparison withMethanosarcina mazei strains S-6T MC3, and LYC