Mahrez joins Manchester City from Leicester