Formalizing Implementable Constraints in the INTERLIS Language for Modelling Legal 3D RRR Spaces and 3D Physical Objects