Thermodynamic model for the permeability of light gases in glassy polymers