Numerical modeling of methane venting from lake sediments