Phase separation of saturated and mono-unsaturated lipids as determined from a microscopic model.