Fault Modeling and Testing of Spiking Neural Network Chips