Measurement of the TeV-scale charged-current muon neutrino cross section at Super-Kamiokande and the characterisation of fast neutrons for the ChipIr beam at the ISIS Neutron Source