Volume of gas is inversely proportional to its pressure. What would be its volume when pressure is doubled?