Reconstructing and Correcting 3D Building Models using Roof Topology Graphs