Measurement of the atmospheric neutrino-induced upgoing muon flux using MACRO | Synapse