Randomized benchmarking in the presence of time-correlated dephasing noise