Seasonal short-term prediction of solar power generation based on time series model and machine learning