First-principles phase diagram calculations for the HfC–TiC, ZrC–TiC, and HfC–ZrC solid solutions