an approach for modeling slag corrosion of lightweightinvestigations on the properties of al2o3 mgo refractory