A1 homotopy theory