Structures of the paraelectric and ferroelectric phases of NaD3(SeO3)2 by neutron diffraction: A vertex model for the ordered ferroelectric state