The variation of temperature with time and hydrocarbon maturation in sedimentary basins formed by extension