Thermodynamic Modeling of Mineral Scaling in High-Temperature and High-Pressure Aqueous Environments