Here is what you need to know about the referee and other officials in charge of the 2023 Champions League final between Manchester City and Inter Milan.