Optimal correlation codes in populations of noisy spiking neurons