Diversity Optimization for Travelling Salesman Problem via Deep Reinforcement Learning