Ideal gas law and partial pressure