The surface form×problem size interaction in cognitive arithmetic: evidence against an encoding locus