Mining industry 4.0