Spiking Neuron Models: An Introduction