Examining the use of Computer Algebra Systems in university-level mathematics teaching