Khovanov homology and its generalizations (Semester on 4-manifolds)