If the volume of a gas is halved while keeping the temperature constant, what happens to the pressure?