Convergence of renormalized finite element methods for heat flow of harmonic maps