Jacobi matrices, generalized eigenvectors, WKB-type asymptotics, absolutely continuous spectrum