Teal: Learning-Accelerated Optimization of WAN Traffic Engineering