An Automatic Assessment Method for the Difficulty of Chinese Primary School Mathematics Application Questions Based on Cognitive Load Theory