In an ideal gas, what happens to the pressure if the volume is doubled while keeping the temperature constant?