Development of a Semi-Analytical Model to Calculate Pressure Buildup and Front Movement for CO2 Sequestration Sites and Its Applicability to the Two Elk Energy Park in the Powder River Basin of Wyoming