Texas flood lives could have been saved with a phone app that tailored alerts?