A Posteriori Error Estimation Techniques for Finite