Thermodynamic Simulation of the Behavior of a Carbonized Periclase Refractory with an Aluminum-Based Antioxidant