Bayesian estimation with integrated nested Laplace approximation for binary logit mixed models