Handbook of homotopy theory. (2019)