Neutron diffraction for revealing the structures and ionic transport mechanisms of antiperovskite solid electrolytes