Decomposition driven interface evolution for layers of binary mixtures. I. Model derivation and stratified base states | Publicación