Title: A posteriori error analysis and adaptivity for the finite element method