Urban settlement tree detection and carbon sequestration mapping using probability map–augmented deep learning: a case study in Seoul | Synapse