At a steady pressure, how does the density of a gas change as its kelvin temperature is doubled?