A video captured a giant dust devil forming in the town of Saratoga, Texas. What is a dust devil? Are dust devils considered tornadoes? What to know.