Rigorous Quantum Field Theory