Stream processing to mine Twitter data