Application of Engel-Brewer and Miedema Semi-Empirical Models Combined with Entropy Models to Thermodynamic Modeling of Binary Systems