Neutrino oscillation physics with a neutrino factory