Frequentist Coverage of Bayesian Credible Sets