A computational efficient Bayesian approach for active sonar localization under uncertainty in sound speed profile | Synapse