Implementation and Testing of an Improved Mathematical Framework for the Bayesian Infrasonic Source Localization Method