Variational models for phase separation