The smart test system: teachers’ views about this formative assessment for mathematics