Structure determination of A2NaAl3F12 (A=K, Rb)