Text this: Adaptive Optimization of Traffic Signal Timing via Deep Reinforcement Learning