Integration of IoT and digital twin for intelligent management of urban underground pipe galleries in smart cities