Quantitative homotopy theory (22 years after Gromov's Princeton lecture)