Fission product migration in the coatings of irradiated uranium dioxide HTR fuel particles