Renormalization of circle maps and smoothness of Arnold tongues