On the Computational Complexity of Networks of Spiking Neurons