A high-performance graph-based tool for automatic change detection in massive CityGML datasets - View it on GitHub