The internet of things is revolutionising deep mining