Zaslat SMS: Thermodynamic studies of cryolite based melts :