Bayesian estimation for alpha power Weibull model under adaptive progressive censoring: a comparative study of Metropolis-Hastings and Hamiltonian Monte Carlo methods | Synapse