Search for the rare leptonic decay B+ -> mu+ nu_mu