The seeds for the 2023-24 Champions League group stage draw have been set after Manchester City beat Internazionale in the final of this year's competition.