Real-time visualization of 3D city models