How cool pavement, heat risk data are helping a Texas city prep for summer