Time series forecasting and data mining of tornadoes in the United States