Efficient Traffic Prediction Through Spatio-Temporal Distillation