Is Riyad Mahrez likely to be playing in the World Cup? Has he played for Algeria yet?