On the convergence of Jacobi-type algorithms for Independent Component Analysis