Twitter buys big-data analyzer Lucky Sort