Separation of mixtures of fats or fatty oils into their constituents, e.g. saturated oils from unsaturated oils