Bayesian estimation of realized GARCH-type models with application to financial tail risk management