Polarization of positive muons produced in high-energy antineutrino interactions