Use of Computer Algebra Systems (CAS) and written solutions in a CAS allowed Year 12 mathematics subject: teachers’ beliefs and students’ practices