Phase-field model of solidification of a binary alloy