Inherent Redundancy in Spiking Neural Networks