A computational theory of visuo-spatial mental imagery