Informática na Formação de Professores de Matemática