ENERO: Efficient real-time WAN routing optimization with Deep Reinforcement Learning