Homotopy theory and rational points