Bayesian inference on the Heffernan and Tawn model