Implementation of industry 4.0 technologies in the mining industry: A case study | IEEE Conference Publication | IEEE Xplore