What happens to the density of a gas when it is compressed?