Digital in 2018: World’s internet users pass the 4 billion mark