Inference of α-particle density profiles from ITER collective Thomson scattering