definition of electrolytic iron ore refining