Glitch leaves American Airlines holiday flights without pilots scheduled