3D cadastre in China: A case study in Shenzhen City