Performance analysis of energy harvesting sensors with time-correlated energy supply