Junction-aware extraction and regularization of urban road networks in high-resolution SAR images