Analytical Model for Casing Expansion