Heavy-lepton interpretation of multimuon events produced in neutrino and antineutrino beams