Search for neutrino oscillations vμ → vτ in CERN → Gran Sasso high-energy neutrino beam (the OPERA experiment)