Mastering Atari with Discrete World Models