Quantum Field Theory for Mathematicians