Globally convergent algorithms for maximum a posteriori transmission tomography | Synapse