Application of stable isotope analysis for improved understanding of the methane budget: comparison of TROICA measurements with TM3 model simulations