Whole genome analysis of Methanobacterium formicicum JCM10132