What happens to the pressure of a gas if the volume is halved while the temperature remains constant?