Effects of different functional strains on key metabolic pathways of methanogenesis in the domestic waste fermentation reactor