An open-source automatic survey of green roofs in London using segmentation of aerial imagery