The radio source population at high frequency: follow-up of the 15-GHz 9C survey