Phakic intraocular lenses to correct high myopia: Adatomed, Staar, and Artisan