Route-planning AI cut climate-warming contrails on over 100 flights