Modelling methane formation in sediments of tropical lakes focusing on syntrophic acetate oxidation: dynamic and static carbon isotope equations.