A Posteriori Error Analysis in the Finite Element Method