Modeling binary-alloy solidification processes