A thin-shell model of the cornea and its application to corneal surgery.