Some non-perturbative semi-classical methods in quantum field theory (a pedagogical review)☆