Hamiltonian Monte Carlo AVA Inversion