A Mathematical Model of Corneal Metabolism in the Presence of an Iris-Fixated Phakic Intraocular Lens