Before revision:  We analyze convergence properties of discretizations and obtain a priori error estimates.
After revision:  We analyze convergence properties of discretizations and derive a priori error estimates.