Bayesian Segmentation of Oceanic SAR Images: Application to Oil Spill Detection