City have made a club record addition in Riyad Mahrez