Homotopy theory of strong and weak topological insulators