Jacobi matrices, Spectral theory