A posteriori error estimation in finite element analysis