Binary melt with quasi-stationary solidification modeling: Mushy layer approach