Reinforcement Learning for Combinatorial Optimization: A Survey