Convergence theorem for non-commutative Feynman graphs and renormalization