HR-SAR-Net: A Deep Neural Network for Urban Scene Segmentation from High-Resolution SAR Data