CO2 flow in saline aquifer with salt precipitation