Modelling CO2 sequestration in deep saline aquifers