Search for heavy neutrinos in K+ -> mu+ nu_mu decays