Mixing Time Estimation in Reversible Markov Chains from a Single Sample Path