Tornado warning times are shrinking