Spiking Neural Networks: Neuron Models, Plasticity, and Graph Applications