Acoustic dynamic modal analysis through Bayesian inference with Hamiltonian Monte Carlo method