Bayesian ambient modal identification: theory, computation and practice