Analysis of the vanishing moment method and its finite element approximations for second-order linear elliptic PDEs in non-divergence form