Choice of refractive surgery types for myopia assisted by machine learning based on doctors' surgical selection data.