The tool, called SMART, will crunch scheduling and weather data to predict and avoid delays. It will be deployed in the Washington region’s three major airports next week.