Should CEOs of public companies disclose the ratio of CEO pay to the median pay of their employees?