Mathematical Modelling of Methane Gas Dynamics in Lake Kivu