a Mathematical Analysis of Solute Redistribution during Solidification