Semiclassical analysis and the convergence of the finite element method