Procesos de razonamiento y demostración en el estudio de las propiedades del círculo: Una secuencia de enseñanza basada en tareas de construcción, lugares geométricos, cajas negras y simulaciones en GeoGebra