Bayesian Inference Framework for Optimising Traffic Flow in Uganda Using Finite-Element Discretization and Error Bounds Analysis | Synapse