Electrolytic production, recovery or refining of metals by electrolysis of melts of titanium, zirconium, hafnium, tantalum or vanadium