CVLight: Deep Reinforcement Learning for Adaptive Traffic Signal Control with Connected Vehicles