Asymptotically consistent estimation of the number of change points in highly dependent time series