Thor Gjermund Eriksen blir ny administrerende direktør i Norsk Tipping