A mathematical model of solidification dynamics of binary alloys