Ecological studies of methanogenes and methanogenesis in Lake Husainsagar and isolation and characterization of Mehtanobacterium formacicum and Mehtanosarcina mazei SV9