Planning From Pixels in Atari With Learned Symbolic Representations