Mean-Field Modeling of Spiking Neural Network Dynamics