Using machine learning to produce a cost-effective national building height map of Ireland to categorise local climate zones