Analytical Functional Models and Local Spectral Theory