Multi-messenger observations of a binary neutron star merger