Muon-induced background in the KATRIN main spectrometer