Text this: Investor sentiment as a market-timing tool