E De Giorgi 1975 Gamma-convergence; modern Modica-Mortola + Allen-Cahn + sharp-interface phase-field.