Do First Graders Make Efficient Use of External Number Representations? The Case of the Twenty-Frame