MartiNet: An Efficient Approach For River Segmentation In SAR Images