First-Principles Calculation of Semiconductor-Alloy Phase Diagrams | Synapse