I am using the TerraSolid package for detecting and digitizing buildings. This digitization happens in Bentley Microstation v8i. Now I wish to export these buildings to CityGML using Bentley Map v8i. How will this be possible?