Adaptive refinement criterion for elliptic problems discretized by FEM