QFT, RG, and All That, for Mathematicians