HPD credible intervals