Theoretical studies of structure and dynamics of molten salts: the LiF-ThF4 system.