Is a large eye size a risk factor for myopia? A Mendelian randomization study