Which part of the eye is a muscle that regulates the size of the pupil?