Formalisation of the level of detail in 3D city modelling