The Solar Orbiter mission