The 2017/18 season saw Man City set a record for the best overall goal difference at the end of the season. What was it?