Thermodynamic modeling of the system of CO2 and potassium taurate solution for simulation of the carbon dioxide capture process