Numerical and experimental study of lens manufacturing based on electrohydrodynamics for light-emitting diodes