Cognitive diagnosis of children's arithmetic