3DOMcity Benchmark