Correlations between Penetrant Properties and Infinite Dilution Gas Solubility in Glassy Polymers: NELF Model Derivation