The magnetograph for the Solar Orbiter mission