First-principles calculation of temperature-composition phase diagrams of semiconductor alloys.