Time-of-flight neutron powder diffraction with milligram samples: the crystal structures of NaCoF3 and NaNiF3 post-perovskites