Intersection theory of Whitney towers (Semester on 4-manifolds)