Travel time picking of ambient noise cross-correlation using a deep neural network combining convolutional neural networks and Transformer