A comprehensive mathematical and computational modeling of CO2 Geosequestration and Compressed Air Energy Storage