Fast automated counting procedures in addition problem solving