Lectures on the integrability of the 6-vertex model