Reinforcement Learning in High-frequency Market Making