Assessing students’ pseudo-mathematical translation using translation-verification model