Learning to Solve Arithmetic Word Problems with Verb Categorization