How Denver was warned of its most damaging hailstorm in history