The 16 T dipole development programme for FCC