Simulating salt precipitation during CO2 injection in brine aquifers