Measurement of the cosmic ray muon flux seasonal variation with the OPERA detector