Numerical modeling of CO2 sequestration into basalt at high pressure and temperature with variable brine solutions | IEEE Conference Publication | IEEE Xplore