How Much More Should a CEO Make?