Global theory of connections and holonomy groups