Outlier Synthesis via Hamiltonian Monte Carlo for Out-of-Distribution Detection