3D city models for urban mining