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