Deep Reinforcement Learning Models for Real-Time Traffic Signal Optimization with Big Traffic Data