Spiking Neuron Models: Formal spiking neuron models