What we know about the tornadoes that accompanied Hurricane Milton