Non-perturbative Methods in Quantum Field Theory