Pep Guardiola's Premier League title record at Manchester City is the best of any manager in the competition's history. Through the end of the 2023-24 season, how many PL titles had he won at City?