Temporal Spike Sequence Learning via Backpropagation for Deep Spiking Neural Networks