How much sleep do CEOs really need?