Seasonal variations of the atmospheric muon neutrino spectrum measured with IceCube | Synapse