The number of tornadoes in the U.S. usually tapers off starting in late June, as the number of thunderstorms ramps up. But how does that work?