The TOPAZ muon detector