A^1-homotopy theory