Homotopy theory of Hopf Galois extensions