Muon polarisation in the neutrino factory