Numerical modeling of methane emissions from lakes in the permafrost zone | Synapse