Or, they subtracted a digital elevation model from a digital surface model, ran a point-in-polygon match against an existing building dataset, and labelled the difference as the height of the building. No ML needed.