Anaerobic oxidation of methane and carbon sequestration