Variational models for phase transitions, an approach via Gamma-convergence