Neutron diffraction study of antiferromagnetism in UO2