Topology Seminar: Survey of profinite homotopy theory