Phase-field formulation for quantitative modeling of alloy solidification.