The oxidation of UF4 in FLiNaK melt and its electrolysis