Third- and fourth-generation formulas for intraocular lens power calculation before and after phakic intraocular lens insertion in high myopia.