The design and implementation of a computerized adaptive testing system for school mathematics based on item response theory