Machine-learning model for predicting phase formations of high-entropy alloys | Synapse