Ennio De Giorgi and Gamma-convergence