Conceptual understanding of definite integral with GeoGebra