Modelling of Convective Mixing in CO2 Storage