Wind power forecasting based on time series ARMA model