From 3D Building Information Modeling Towards 5D City Information Modeling