Secondary Mathematics Teachers' Pedagogy through the Tool of Computer Algebra Systems