Surgery to correct myopia