Crystal structures and stability of K2ThF6 and K7Th6F31 on compression