He is paid significantly more than better-performing CEOs like Cook and Nadella.