Generalized Eigenfunctions and Spectral Theory for Strongly Local Dirichlet Forms