Search for a diffuse flux of high-energy muon neutrino with the ANTARES neutrino telescope