How does a methane digester work?