PRODUCTION OF HIGH-ENERGY NEUTRINOS IN BINARY-NEUTRON-STAR MERGER EVENTS