Distribution of residual autocorrelations in autoregressive-integrated moving average time series models