Semi-automated extraction of human settlement extent in HR SAR images