ICT use in the teaching of mathematics: Implications for professional development of pre-service teachers in Ghana