A computational model for CO2 leakage in heterogeneous formation (abstract)