Prediction of Gas Hydrate Formation Conditions in the Presence of Electrolytes Using an N-NRTL-NRF Activity Coefficient Model