Theoretically Provable Spiking Neural Networks