Quantifying greenspace using deep learning in Karachi, Pakistan