Modeling spiking neural networks