CNN and Twitter team collaborate on news mining tool called Dataminr