thermodynamic modeling of the k2o al2o3 and k2o mgo al2o3