Computational models for CO2 Geo-sequestration & compressed air energy storage. (2014)