Sampling-based Bayesian inference in recurrent circuits of stochastic spiking neurons | Synapse