A Bayesian approach to the determination of the FK spectrum in SASW tests