Active Coverage for PAC Reinforcement Learning