Short-term Traffic Prediction with Deep Neural Networks: A Survey