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