Spike-based probabilistic inference with correlated noise