Vertically averaged approaches for CO2 migration with solubility trapping | Synapse