Binary neutron stars