electric arc furnace definition types construction