Logic-guided Deep Reinforcement Learning for Stock Trading