Bayesian inversion of non-sonic well log data for the determination of P-wave velocity - application to data from Jequitinhonha Basin, Brazil