Binary neutron star merger