Thomson Reuters launches social media trading tool, including sentiment information mined from millions of social media sites