Bounds on the discretization error for the numerical solution of the Dirichlet problem for Laplace's equation