FAA to launch AI-powered air-traffic tool - WSJ.