Count-based Novelty Exploration in Classical Planning