OGC/EuroSDR/Geonovum workshop ‘CityGML for national mapping’