Theory of temperature-programmed gas chromatography