Building segmentation from satellite imagery using U-Net with ResNet encoder | IEEE Conference Publication | IEEE Xplore