Homology, homotopy, and applications