A1-Homotopy Theory and its Recent Developments