3DHD CityScenes: High-Definition Maps in High-Density Point Clouds