Expect a new explosion: global digital gaming revenues reach $ 9.4 billion in January 2020