Provably Efficient Maximum Entropy Exploration