Four lectures on KAM for the non-linear Schrödinger equation