Definite integral from a graph