How Financial Professionals Use Twitter for Market Intelligence