Provably Convergent Anisotropic Output-Based Adaptation for Continuous Finite Element Discretizations