Global $H^2$ Regularity Estimate for the Dirichlet Laplacian