Spikformer: When Spiking Neural Network Meets Transformer