Renormalization theory