Error analysis of symplectic Lanczos method for Hamiltonian eigenvalue problem