An AIoT-based system for real-time monitoring of tunnel construction. (March 2021)