Dataminr: The app uses an algorithm to mine Twitter for information tailored to the needs of users