comparing two ways of calculating the compensation of the 500 highest-paid u.s. executives