Homotopy Theory Of Gauge Groups Over 4-Manifolds