Text this: Mathematical Description of Bayesian Algorithm for Speckle Reduction in Synthetic Aperture Radar Data