IoT and AI innovate construction and mining