Reinforcement Learning in Quantitative Trading: A Survey