Hamiltonian formulation of the Gaussian isokinetic thermostat.