Isotope techniques for tracing migration of gases in sedimentary basins