The human eye can focus objects at different distances by adjusting the focal length of the eye lens. This is due to