What is the function of the external muscles in the eye