Total energy of the neutrino burst from the supernova 1987A and the mass of the neutron star just born