Numerical simulation and process parametric study of freeze lining formation in an electric smelting furnace for mineral wool production | Synapse