Topology lecture notes