Measurement of the muon flux in the Gotthard underground laboratory