Routing Traveling Salesmen on Random Graphs Using Reinforcement Learning, in PyTorch