Dataminr sells service to police that monitors Twitter’s full feed and sends alerts including tweets about protests (Wall Street Journal)