The design of dynamic probabilistic caching with time-varying content popularity