CEO Pay and the Market for CEOs