Double neutron star systems