Converting BIM Data to CityGML for 3D Cadastre Purposes