Automatic reconstruction of 3D city models from historical maps