Lanczos algorithm explained