Alkaliphilic methanogens from high-pH lake sediments