Which part of the human eye controls the size of the pupil?