Lanczos Algorithms for Large Symmetric Eigenvalue Computations Vol. I Theory