book: Infinite Homotopy Theory