You just read:

Connected Mining Market Worth 9.98 Billion USD by 2020

News provided by

MarketsandMarkets

28 Apr, 2016, 15:00 BST