Optimal CEO Compensation with Search: Theory and Empirical Evidence