Mathematical simulation of the carbon isotopic fractionation between huminitic coals and related methane