Phase-Field Formulation for Quantitative Modeling of Alloy Solidification | Synapse