The pressure of a mixture of gases is