Assimilation of radio occultation measurements into a numerical weather prediction system