Pupil diameter tracks lapses of attention