O construcionismo contextualizado por meio da linguagem de programação Logo : uma proposta de ensino-aprendizagem da geometria plana