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