Transitions in crystal structure of cryolite and related fluorides