Instrumental development of teachers’ reasoning in dynamic geometry