Reverse methanogenesis