Development of a national-scale real-time Twitter data mining pipeline for social geodata on the potential impacts of flooding on communities. (May 2019)